Initially deferred constraint